A petri net based timing model for hardware/software co-design of digital systems

We have recently proposed an extension to Petri nets in order to be able to directly deal with all aspects of embedded digital systems. This extension is meant to be used as an internal model of our co-design environment. After analyzing relevant related work, and presenting a short introduction to our extension as a background material, we describe the details of the timing model we use in our approach, which is mainly based in Merlin's time model. We conclude the paper by discussing an example of its usage. © 2004 IEEE.

Estabilidade, polimorfismo, dissolução e correlação in vivo-in vitro de Darunavir comprimidos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Survival probability of large rapidity gaps in a QCD model with a dynamical infrared mass scale

We compute the survival probability {vertical bar S vertical bar(2)} of large rapidity gaps (LRG) in a QCD based eikonal model with a dynamical gluon mass, where this dynamical infrared mass scale represents the onset of nonperturbative contributions to the diffractive hadron-hadron scattering. Since rapidity gaps can occur in the case of Higgs boson production via fusion of electroweak bosons, we focus on WW -> H fusion processes and show that the resulting {vertical bar S vertical bar(2)} decreases with the increase of the energy of the incoming hadrons; in line with the available experimental data for LRG. We obtain {vertical bar S vertical bar(2)} = 27.6 +/- 7.8% (18.2 +/- 17.0%) at Tevatron (CERN-LHC) energy for a dynamical gluon mass m(g) = 400 MeV. (c) 2006 Elsevier B.V. All rights reserved.

Avaliação clínica de duas ke0 no mesmo modelo farmacocinético de propofol: estudo da perda e recuperação da consciência

JUSTIFICATIVA E OBJETIVOS: A constante de equilíbrio entre o plasma e o sítio efetor (ke0) é utilizada pelos modelos farmacocinéticos para prever a concentração do fármaco em seu local de ação (Ce). Seria interessante que a Ce de propofol fosse semelhante na perda e na recuperação da consciência. O objetivo deste estudo foi avaliar o desempenho clínico de duas diferentes ke0 (rápida = 1,21 min-1 e lenta = 0,26 min-1) com relação à Ce durante a perda e a recuperação da consciência, usando o modelo farmacocinético de Marsh. MÉTODO: Participaram deste estudo 20 voluntários adultos sadios do sexo masculino. em todos os voluntários, administrou-se propofol em regime de infusão alvo-controlada, modelo farmacocinético de Marsh ke0 rápida e, em outra oportunidade, usou-se o mesmo modelo farmacocinético com a ke0 lenta. Inicialmente, o propofol foi infundido em concentração-alvo plasmática de 3,0µg.mL-1. A perda de consciência e a recuperação de consciência basearam-se na resposta ao estímulo verbal. A Ce foi anotada no momento da perda e da recuperação da consciência. RESULTADOS: Na perda e na recuperação da consciência a Ce pela ke0 rápida foi diferente (3,64 ± 0,78 e 1,47 ± 0,29µg.mL-1, respectivamente, p < 0,0001), enquanto com a ke0 lenta a Ce foi semelhante (2,20 ± 0,70 e 2,13 ± 0,43µg.mL-1, respectivamente, p = 0,5425). CONCLUSÕES: do ponto de vista clínico, a ke0 lenta (0,26 min-1) incorporada ao modelo farmacocinético de Marsh apresentou melhor desempenho que a ke0 rápida (1,21 min-1), uma vez que a concentração de propofol prevista em seu local de ação na perda e recuperação da consciência foi semelhante.

Photogrammetric refinement of laser-based building roof contours

In this paper a photogrammetric method is proposed for refining 3D building roof contours extracted from airborne laser scanning data. It is assumed that laser-derived planar faces of roofs are potentially accurate, while laser-derived building roof contours are not well defined. First, polygons representing building roof contours are extracted from a high-resolution aerial image. In the sequence, straight-line segments delimitating each building roof polygon are projected onto the corresponding laser-derived roof planes by using a new line-based photogrammetric model. Finally, refined 3D building roof contours are reconstructed by connecting every pair of photogrammetrically- projected adjacent straight lines. The obtained results showed that the proposed approach worked properly, meaning that the integration of image data and laser scanning data allows better results to be obtained, when compared to the results generated by using only laser scanning data. © 2013 IEEE.

Water use of Juniperus virginiana trees encroached into mesic prairies in Oklahoma, USA

Juniperus virginiana (eastern redcedar) is encroaching into mesic prairies of the southern Great Plains, USA, and is altering the hydrologic cycle. We used the thermal dissipation technique to quantify daily water use of J. virginiana into a mesic prairie by measuring 19 trees of different sizes from different density stands located in north-central Oklahoma during 2011. We took the additional step to calibrate our measurements by comparing thermal dissipation technique estimates to volumetric water use for a subset of trees. Except for days with maximum air temperature below -3 degrees C, J. virginiana trees used water year round, reached a peak in late May, and exhibited reduced water use in summer when soil water availability was low. Overall daily average water use was 24 l (+/- 21.81 s.d.) per tree. Trees in low density stands used more water than trees with similar diameters from denser stands. However, there was no difference in water use between trees in different density stands when expressed on a canopy area basis. Approximately 50% of variation in water use that remained after accounting for the factors site, tree, and day was explained using a physiologically-based model that included daily potential evapotranspiration, maximum vapour pressure deficit, maximum temperature, solar radiation, and soil water storage between 0 and 10 cm. Our model suggested that a J. virginiana woodland with a closed canopy is capable of transpiring almost all precipitation reaching the soil in years with normal precipitation, indicating the potential for encroachment to reduce water yield for streamflow and groundwater recharge. Copyright (C) 2013 John Wiley & Sons, Ltd.

The small x behavior of the gluon strucutre function from total cross-sections

Within a QCD-based eikonal model with a dynamical infrared gluon mass scale we discuss how the small x behavior of the gluon distribution function at moderate Q(2) is directly related to the rise of total hadronic cross-sections. In this model the rise of total cross-sections is driven by gluon-gluon semihard scattering processes, where the behavior of the small x gluon distribtuion function exhibits the power law xg(x, Q(2)) = h(Q(2))x(-epsilon). Assuming that the Q(2) scale is proportional to the dynamical gluon mass one, we show that the values of h(Q(2)) obtained in this model are compatible with an earlier result based on a specific nonperturbative Pomeron model. We discuss the implications of this picture for the behavior of input valence-like gluon distributions at low resolution scales.

Desenvolvimento de uma proposta de educação sexual para adolescentes

O objetivo geral do presente estudo foi descrever a experiência de construção e aplicação de uma proposta pedagógica no campo da educação sexual, fundamentada em algumas premissas contidas na concepção de Paulo Freire, visando atender adolescentes de uma comunidade carente do interior paulista. A partir dos questionamentos iniciais levantados pelos jovens foram realizados quatro encontros focando questões sobre sexualidade, anatomia e fisiologia humana, métodos anticoncepcionais e DST/Aids. Com a realização desse trabalho, os jovens tiveram oportunidade de participar de um processo educativo que possibilitou, pelo resgate de suas próprias experiências e crenças, a reflexão sobre sua autonomia na vivência de uma sexualidade saudável, respeitando a si próprio e ao outro.

Rural-urban migration in D-dimensional lattices

The rural-urban migration phenomenon is analyzed by using an agent-based computational model. Agents are placed on lattices which dimensions varying from d = 2 up to d = 7. The localization of the agents in the lattice defines that their social neighborhood (rural or urban) is not related to their spatial distribution. The effect of the dimension of lattice is studied by analyzing the variation of the main parameters that characterizes the migratory process. The dynamics displays strong effects even for around one million of sites, in higher dimensions (d = 6, 7).

The small x behavior of the gluon structure function from total cross-sections

Within a QCD-based eikonal model with a dynamical infrared gluon mass scale we discuss how the small x behavior of the gluon distribution function at moderate Q 2 is directly related to the rise of total hadronic cross-sections. In this model the rise of total cross-sections is driven by gluon-gluon semihard scattering processes, where the behavior of the small x gluon distribution function exhibits the power law xg(x, Q 2) = h(Q 2)x( -∈). Assuming that the Q 2 scale is proportional to the dynamical gluon mass one, we show that the values of h(Q 2) obtained in this model are compatible with an earlier result based on a specific nonperturbative Pomeron model. We discuss the implications of this picture for the behavior of input valence-like gluon distributions at low resolution scales. © 2008 World Scientific Publishing Company.

A semi-automatic method for indirect orientation of aerial images using ground control lines extracted from airborne laser scanner data

This paper presents a method for indirect orientation of aerial images using ground control lines extracted from airborne Laser system (ALS) data. This data integration strategy has shown good potential in the automation of photogrammetric tasks, including the indirect orientation of images. The most important characteristic of the proposed approach is that the exterior orientation parameters (EOP) of a single or multiple images can be automatically computed with a space resection procedure from data derived from different sensors. The suggested method works as follows. Firstly, the straight lines are automatically extracted in the digital aerial image (s) and in the intensity image derived from an ALS data-set (S). Then, correspondence between s and S is automatically determined. A line-based coplanarity model that establishes the relationship between straight lines in the object and in the image space is used to estimate the EOP with the iterated extended Kalman filtering (IEKF). Implementation and testing of the method have employed data from different sensors. Experiments were conducted to assess the proposed method and the results obtained showed that the estimation of the EOP is function of ALS positional accuracy.

The Development of a Universal In Silico Predictor of Protein-Protein Interactions

Protein-protein interactions (PPIs) are essential for understanding the function of biological systems and have been characterized using a vast array of experimental techniques. These techniques detect only a small proportion of all PPIs and are labor intensive and time consuming. Therefore, the development of computational methods capable of predicting PPIs accelerates the pace of discovery of new interactions. This paper reports a machine learning-based prediction model, the Universal In Silico Predictor of Protein-Protein Interactions (UNISPPI), which is a decision tree model that can reliably predict PPIs for all species (including proteins from parasite-host associations) using only 20 combinations of amino acids frequencies from interacting and non-interacting proteins as learning features. UNISPPI was able to correctly classify 79.4% and 72.6% of experimentally supported interactions and non-interacting protein pairs, respectively, from an independent test set. Moreover, UNISPPI suggests that the frequencies of the amino acids asparagine, cysteine and isoleucine are important features for distinguishing between interacting and non-interacting protein pairs. We envisage that UNISPPI can be a useful tool for prioritizing interactions for experimental validation. © 2013 Valente et al.

Análise da reconstrução 3D a partir de um par estereoscópico HR-CCD/CBERS-2 usando dois modelos matemáticos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desempenho de duas Ke0 no mesmo modelo farmacocinético de propofol: estudo da perda e recuperação da consciência

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)